complete axiom

完备公设;完备公理